41. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )eds.(
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Computer science - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
S86
75
.
5
1991
42. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
پدیدآورنده :
موضوع : ، Computer science-- Congresses,، Categories )Mathematics(-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
43. Category theory and computer science: Paris, France, September 3-6, 1991, proceedings
پدیدآورنده : D.H. Pitt...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
530
44. Category theory and computer science : 7th International conference, CTCS'97, S. Margheria Ligure, Italy, September 1997 : proceedings
پدیدآورنده : Eugenio Moggi, Giuseppe Rosolini )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
1290
45. Cellular Automata and Discrete Complex Systems
پدیدآورنده : \ [Edited by] Teijiro Isokawa...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشین‌های خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
267
.
5
.
C45
2015
E-Book
,
46. Cellular Automata and Discrete Complex Systems
پدیدآورنده : \ Jarkko Kari (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشین‌های خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
267
.
5
.
C45
2015
E-Book
,
47. Cellular automata and discrete complex systems :
پدیدآورنده : Alonso Castillo-Ramirez, Pedro P.B. de Oliveira (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cellular automata, Congresses.,Computer science-- Mathematics, Congresses.,Cellular automata.,Computer science-- Mathematics.
رده :
QA267
.
5
.
C45
48. Cellular automata and discrete complex systems :
پدیدآورنده : Jarkko Kari, Martin Kutrib, Andreas Malcher (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cellular automata, Congresses,Computer science-- Mathematics, Congresses,Software
رده :
QA267
.
5
.
C45
49. Certified Programs and Proofs :
پدیدآورنده : edited by Chris Hawblitzel, Dale Miller.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
رده :
QA76
.
9
.
M35
E358
2012
50. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
51. Coalgebraic methods in computer science :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science ; Mathematics ; Congresses. ;
52. Coalgebraic methods in computer science
پدیدآورنده : Dirk Pattinson, Lutz Schröder (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses,Computer software-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
W67
2012eb
53. Coalgebraic methods in computer science :
پدیدآورنده : Corina Cîrstea (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
54. Combinatorial Optimization and Applications
پدیدآورنده : \ [edited by] Zaixin Lu...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Combinatorial optimization -- Congresses.,Computer science -- Mathematics -- Congresses.,بهینه‌سازی ترکیبی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
164
.
C6
2015
E-Book
,
55. Combinatorial optimization and applications
پدیدآورنده : Guohui Lin (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorial optimization, Congresses,Computer science-- Mathematics, Congresses
رده :
QA402
.
5
.
C63
2012eb
56. Combinatorial optimization and applications :
پدیدآورنده : Donghyun Kim, R.N. Uma, Alexander Zelikovsky (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorial optimization-- Data processing, Congresses.,Computer science-- Mathematics, Congresses.,Mathematical optimization, Congresses.,Computational complexity.,Computer network architectures.,Computer science.,Computer software.,Electronic data processing.
رده :
QA402
.
5
.
C5423
2017
57. Combinatorics on Words
پدیدآورنده : \ Florin Manea, Dirk Nowotka (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Discrete Mathematics in Computer Science,Combinatorial analysis -- Congresses,ریاضیات گسسته در علوم کامپیوتر,آنالیز ترکیبی -- کنگره‌ها
رده :
QA
164
.
W6C6
2015
E-Book
,
58. Complexity of computation
پدیدآورنده : edited by Richard M. Karp
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
رده :
QA
267
.
C57
59. Computational topology in image context :
پدیدآورنده : Rebeca Marfil, Mariletty Calderón, Fernando Díaz del Río, Pedro Real, Antonio Bandera (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Computer vision, Congresses.,Image processing-- Digital techniques, Congresses.,Computer science-- Mathematics.,Computer vision.,Image processing-- Digital techniques.
رده :
TA1634
.
I58
2019eb
60. Computational topology in image context
پدیدآورنده : Massimo Ferri ... [et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses,Computer vision, Congresses,Image processing-- Digital techniques, Congresses
رده :
TA1634
.
C75
2012eb
